$\forall$$a$, $b$:$\mathbb{Q}$. ($a$ + {-}($a$) + $b$) = $b$ \& ({-}($a$) + $a$ + $b$) = $b$